An Overview of the KL-ONE Knowledge Representation System

KL-ONE is o system for representing knowledge in Artificial Intelligence progroms. It has been developed and refined over o long period ond hos been used in both basic research and implemented knowledge-based systems in o number of places in the Al community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In oddition to detoiling oil of KL-ONE’s description-forming structures, we discuss o bit of the philosophy underlying the system, highlight notions of taxonomy and clossificotion that ore central to it, ond include on extended example of the use of KL-ONE and its classifier in o recognition tosk.